# (decoded with TMPL 131)
*****: (EOF-terminated list)